In the second solution, we directly took n2^n as the greatest term, but we can be more precise, we can notice that we have the sum of k2^k with k from 1 to n, we get:
But the final result doesn't change